#define ABORT __builtin_abort

unsigned short a[1] = {31082};
unsigned short b = 43243;
short c = -5599;


int main(){
  a[0] = (unsigned short)c;
  unsigned char d = (a[0] >> 10) >> b;
  if ( d!=0 ) {
    ABORT();
  }
}
